Browsing by Subject "Probabilistic analysis"

Now showing items 1-2 of 2

    • Conference Object  

      Analyzing the number of slow reads for semifast atomic read/write register implementations 

      Georgiou, Chryssis; Kentros, Sotirios; Nicolaou, Nicolas C.; Shvartsman, A. A. (2009)
      Developing fast implementations of atomic read/write registers in the message passing model is among the fundamental problems in distributed computing. Typical implementations require two communication round trips for read ...
    • Article  

      Probabilistic resource failure in real-time process algebra 

      Philippou, Anna; Cleaveland, R.; Lee, I.; Smolka, S.; Sokolsky, O. (1998)
      PACSR, a probabilistic extension of the real-time process algebra ACSR, is presented. The extension is built upon a novel treatment of the notion of a resource. In ACSR, resources are used to model contention in accessing ...